function() {
	var elmt = document.getElementById("menu li ul");
	elmt.style.position = "";
      }); 